Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
451	Structural Recursion over Contextual Objects Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel School of Computer Science Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Model theory Formal languages Metalogic Computability theory Symbol Interpretation Primitive recursive function Substitution Logic Mathematics Mathematical logic
452	Context-Free Languages∗ Jean Berstel Luc Boasson June 8, 2008 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-06-08 00:54:52 Linguistics Context-free grammar Formal grammar Linear grammar Pushdown automaton Ambiguous grammar Controlled grammar Context-sensitive grammar Formal languages Grammar Theoretical computer science
453	Lex and Yacc: A Brisk Tutorial Saumya K. Debray Department of Computer Science The University of Arizona Tucson, AZ 85721 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2013-01-28 06:27:18 Formal languages Procedural programming languages Parser generators Compiling tools Cross-platform software Regular expression Lex C ALGOL 68 Computing Software engineering Computer programming
454	feature programming languages Cracking the 500-Language Problem Add to Reading List Source URL: www.cs.vu.nl Language: English Compiler construction Formal languages Parsing Parser generators Compiling tools Compiler-compiler COBOL LL parser Recursive descent parser Software engineering Computing Programming language implementation
455	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.nic.cz Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
456	Predicate Logic Review John MacFarlane January 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:39:11 Predicate logic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Function Constructible universe Logical connective Logic Formal languages Model theory
457	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
458	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.xl-mirror.nl Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
459	Logical Characterization of Weighted Pebble Walking Automata ∗ Benedikt Bollig, Paul Gastin Benjamin Monmege Add to Reading List Source URL: www.ulb.ac.be Language: English - Date: 2014-07-15 12:14:29 Combinatorics Automata theory Model theory Graph theory Nested word Words Structure First-order logic Graph Mathematics Formal languages Logic
460	A Hybrid Japanese Parser with Hand-crafted Grammar and Statistics Hiroshi Kanayama† , Kentaro Torisawa‡∗ , Yutaka Mitsuishi‡ and Jun’ichi Tsujii‡? † Tokyo Research Laboratory, IBM Japan, Ltd. Add to Reading List Source URL: aclweb.org Language: English - Date: 2011-12-29 20:47:46 Compiler construction Parsing Treebank Head-driven phrase structure grammar Parse tree LL parser Natural language processing Grammar Attribute grammar Linguistics Computational linguistics Formal languages

UPDATE